Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Lógica temporal")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1881

  • Page / 76
Export

Selection :

  • and

Correct, Reactive, High―Level Robot ControlKRESS-GAZIT, Hadas; WONGPIROMSARN, Tichakorn; TOPCU, Ufuk et al.IEEE robotics & automation magazine. 2011, Vol 18, Num 3, pp 65-74, issn 1070-9932, 10 p.Article

A reified temporal logicMA, J; KNIGHT, B.Computer journal (Print). 1996, Vol 39, Num 9, pp 800-807, issn 0010-4620Article

Raisonnement temporel dans les systèmes Experts = Temporal reasoning in expert systemERMINE, J.-L; CAUHAPE, D.Revue d'intelligence artificielle. 1990, Vol 4, Num 1, pp 99-136, issn 0992-499X, 38 p.Article

Relations temporelles symboliques : representations en algorithmes = Symbolic temporal relations: representation and algorithmsMAILK GHALLAB; ANINE NOUNIR ALAOUI.Revue d'intelligence artificielle. 1989, Vol 3, Num 3, pp 67-115, issn 0992-499X, 49 p.Article

Specification and verification of temporal relationships in transaction modellingNGU, A. H. H.Information systems (Oxford). 1990, Vol 15, Num 2, pp 257-267, issn 0306-4379, 11 p.Article

Time revisitedMILLER, S. A; SCHUBERT, L. K.Computational intelligence. 1990, Vol 6, Num 2, pp 108-118, issn 0824-7935, 11 p.Article

Approximating ATL* in ATLHARDING, Aidan; RYAN, Mark; SCHOBBENS, Pierre-Yves et al.Lecture notes in computer science. 2002, pp 289-301, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Using compositional preorders in the verification of Sliding window protocolKAIVOLA, R.Lecture notes in computer science. 1997, pp 48-59, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Minimal refinements of specifications in modal and temporal logicsGOROGIANNIS, Nikos; RYAN, Mark.Formal aspects of computing. 2007, Vol 19, Num 4, pp 417-444, issn 0934-5043, 28 p.Article

Vacuity detection in temporal model checkingKUPFERMAN, Orna; VARDI, Moshe Y.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 2, pp 224-233, issn 1433-2779, 10 p.Conference Paper

Why so many temporal logics climb up the trees?RABINOVICH, A; MAOZ, S.Lecture notes in computer science. 2000, pp 629-639, issn 0302-9743, isbn 3-540-67901-4Conference Paper

A common sense theory of causationBELL, John.Lecture notes in computer science. 2003, pp 40-53, issn 0302-9743, isbn 3-540-40380-9, 14 p.Conference Paper

Model checking a pathMARKEY, N; SCHNOEBELEN, P.Lecture notes in computer science. 2003, pp 251-265, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

A dense-time Temporal Logic with nice Compositionality PropertiesCAU, A; DE ROEVER, W.-P.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 71-72, isbn 84-88912-04-8Conference Paper

Adding partial orders to linear temporal logicBHAT, G; PELED, D.Lecture notes in computer science. 1997, pp 119-134, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Temporal Logic in EngineeringKNIGHT, Brian; NISSAN, Ephraim; MA, Jixin et al.Artificial intelligence for engineering design, analysis and manufacturing. 1999, Vol 13, Num 2, issn 0890-0604, 76 p.Serial Issue

Temporal reasoning on chronological annotationACCARY-BARBIER, Tiphaine; CALABRETTO, Sylvie.Lecture notes in computer science. 2005, pp 51-60, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 10 p.Conference Paper

TLQSolver: A temporal logic query checkerCHECHIK, Marsha; GURFINKEL, Arie.Lecture notes in computer science. 2003, pp 210-214, issn 0302-9743, isbn 3-540-40524-0, 5 p.Conference Paper

TRP++ 2.0: A temporal resolution proverHUSTADT, Ullrich; KONEV, Boris.Lecture notes in computer science. 2003, pp 274-278, issn 0302-9743, isbn 3-540-40559-3, 5 p.Conference Paper

Algorithms for guiding clausal temporal resolutionFERNANDEZ GAGO, M. Carmen; FISHER, Michael; DIXON, Clare et al.Lecture notes in computer science. 2002, pp 235-249, issn 0302-9743, isbn 3-540-44185-9, 15 p.Conference Paper

Completeness of temporal logics over infinite intervalsHANPIN WANG; QIWEN XU.Discrete applied mathematics. 2004, Vol 136, Num 1, pp 87-103, issn 0166-218X, 17 p.Article

Toward a comprehensive treatment of temporal constraints about periodic eventsTERENZIANI, Paolo.International journal of intelligent systems. 2003, Vol 18, Num 4, pp 429-468, issn 0884-8173, 40 p.Article

Logique Temporelle avec Passé pour la Spécification et la Vérification des Systèmes Réactifs = Temporal logics with past for specification and verification of reactive systemsLaroussinie, François; Schnoebelen, P.1994, 148 p.Thesis

  • Page / 76